safeHead(fmap(f)(List.empty)) == safeHead(List.empty) == None